Works by Sattar, Abdul (exact spelling)

6 found
Order:
  1.  4
    Local search with edge weighting and configuration checking heuristics for minimum vertex cover.Shaowei Cai, Kaile Su & Abdul Sattar - 2011 - Artificial Intelligence 175 (9-10):1672-1696.
  2.  34
    A Defeasible Logic For Modelling Policy-based Intentions And Motivational Attitudes.Guido Governatori, Vineet Padmanabhan, Antonio Rotolo & Abdul Sattar - 2009 - Logic Journal of the IGPL 17 (3):227-265.
    In this paper we show how defeasible logic could formally account for the non-monotonic properties involved in motivational attitudes like intention and obligation. Usually, normal modal operators are used to represent such attitudes wherein classical logical consequence and the rule of necessitation comes into play, i.e., ⊢A/⊢ □A, that is from ⊢A derive ⊢ □A. This means that such formalisms are affected by the Logical Omniscience problem. We show that policy-based intentions exhibit non-monotonic behaviour which could be captured through a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  7
    Modelling and solving temporal reasoning as propositional satisfiability.Duc Nghia Pham, John Thornton & Abdul Sattar - 2008 - Artificial Intelligence 172 (15):1752-1782.
  4.  17
    Levels of modality for BDI Logic.Jeff Blee, David Billington, Guido Governatori & Abdul Sattar - 2011 - Journal of Applied Logic 9 (4):250-273.
  5.  12
    Special issue on logics for intelligent agents and multi-agent systems.Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds & Abdul Sattar - 2011 - Journal of Applied Logic 9 (4):221-222.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  8
    Editors' introduction.Mark Reynolds & Abdul Sattar - 2006 - Journal of Applied Logic 4 (2):117-118.